More from this Author

Leveraging Applications of Formal Methods, Verification, and Validation

by Reiner Hähnle (Editor), Jens Knoop (Editor), Tiziana Margaria (Editor), Dietmar Schreiner (Editor), Bernhard Steffen (Editor), Reiner Hähnle (Editor)